Title Closure operators and complete embeddings of residuated lattices
نویسنده
چکیده
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follows, including various types of completeness theorems of substructural logics.
منابع مشابه
Closure Operators and Complete Embeddings of Residuated Lattices
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follows, including various types of completeness theorems of substructural logics.
متن کاملL-Topological Spaces Based on Residuated Lattices
In this paper, we introduce the notion of L-topological spaces based on a complete bounded integral residuated lattice and discuss some properties of interior and left (right) closure operators.
متن کاملWeakening Additivity in Adjoining Closures
In this paper, we weaken the conditions for the existence of adjoint closure operators, going beyond the standard requirement of additivity/co-additivity. We consider the notion of join-uniform (lower) closure operators, introduced in computer science, in order to model perfect lossless compression in transformations acting on complete lattices. Starting from Janowitz’s characterization of resi...
متن کاملSome Properties of Alexandrov Topologies
Alexandrov topologies are the topologies induced by relations. This paper addresses the properties of Alexandrov topologies as the extensions of strong topologies and strong cotopologies in complete residuated lattices. With the concepts of Zhang’s completeness, the notions are discussed as extensions of interior and closure operators in a sense as Pawlak’s the rough set theory. It is shown tha...
متن کاملOn residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کامل